『The simplicial model of univalent foundations (after Voevodsky)』
Krzysztof Kapulkin and Peter LeFanu Lumsdaine. “The simplicial model of univalent foundations (after Voevodsky)”. In: J. Eur. Math. Soc. (JEMS) 23.6 (2021), pp. 2071–2126. issn: 1435-9855. doi: 10.4171/JEMS/ 1050. url: https://doi.org/10.4171/JEMS/1050.
arXiv: https://arxiv.org/abs/1211.2851
1. どんなもの？
2. 先行研究と比べてどこがすごい？
3. 技術や手法のキモはどこ？
4. どうやって有効だと検証した？
5. 議論はある？
6. 次に読むべき論文は？
確認用
Q.
#論文読み #論文 #文献